- syntactic consistence
- синтаксическая непротиворечивость
English-Russian electronics dictionary .
syntactic consistence
Смотреть что такое "syntactic consistence" в других словарях:
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
